Dependent types I › Universes, or types of types
jonmsterling.com·3h·
Discuss: Hacker News
🔤Type Theory
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Is Math Discovered or Invented?
curtispoe.org·1d
⚔️Lean Theorem
Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
🧬Functional Programming
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·17h·
Discuss: DEV
🔲Cellular Automata
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·8h·
Discuss: Hacker News
👑Isabelle
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·22h
🎯Gradual Typing
Double Maths First Thing: Issue 33
aperiodical.com·2h
📐Mathematical Art
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·22h
✅Format Verification
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
Academic Philosophy - My quixotic quest
notes.billmill.org·2d
🏛️Philosophy
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🤝Paxos Consensus
Nullable vs. Nullable in C#
einarwh.no·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Log Detective: GSoC 2025 (part 2)
danigm.net·5h
🔓Open Source Software
busy beaver function
ncatlab.org·4d
⚔️Lean Theorem
Understanding Tool-Integrated Reasoning
arxiv.org·6h
🔗Constraint Handling
Claude Code's 19 cent Parser
blogger.com·1d
🔧Binary Parsers
A critique of philosophical objectivity
lapcatsoftware.com·1d
🏛️Philosophy
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·15h·
Discuss: Hacker News
🧮Algebraic Datatypes